Search CORE

10 research outputs found

Regular Model Checking and Verification of Cellular Automata

Author: Byg Joakim
Jørgensen Kenneth Yrke
Publication venue: aau
Publication date: 01/01/2008
Field of study

Opaal:A Lattice Model Checker

Author: Dalsgaard Andreas Engelbredt
Hansen Rene Rydhof
Jørgensen Kenneth Yrke
Larsen Kim Guldstrand
Olesen Mads Chr.
Olsen Petur
Srba Jiri
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2011
Field of study

TCTL-Preserving Translations from Timed-Arc Petri Nets to Networks of Timed Automata

Author: Byg Joakim
Jacobsen Lasse
Jacobsen Morten
Jørgensen Kenneth Yrke
Møller Mikael Harkjær
Srba Jiri
Publication venue: 'Elsevier BV'
Publication date: 01/01/2014
Field of study

A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

Author: Jørgensen Kenneth Yrke
Nadales Agut D.E.
Reniers M.A.
Schiffelers R.R.H.
Van Beek D.A.
Publication venue: 'Elsevier BV'
Publication date: 01/01/2011
Field of study

Fluid Model-Checking in UPPAAL for Covid-19

Author: Jensen Peter Gjøl
Jørgensen Kenneth Yrke
Larsen Kim Guldstrand
Mikučionis Marius
Poulsen Danny Bøgsted
Rodriguez Marco Antonio Muniz
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2020
Field of study

Tools for Model-Checking Timed Systems

Author: Behrmann Gerd
Bulychev Peter
Byg Joakim
Chatain Thomas
David Alexandre
Jørgensen Kenneth Yrke
Larsen Kim Guldstrand
Lime Didier
Magnin Morgan
Pettersson Paul
Rasmussen Jacob Illum
Roux Olivier H.
Srba Jiri
Traonouez Louis-Marie
Yi Wang
Publication venue: 'Royal College of Obstetricians & Gynaecologists (RCOG)'
Publication date: 01/10/2009
Field of study

DEIS-Tools/libstrategy: 1.0.8b

Author: @DEIS-Tools
AI for the People
Artificial Intelligence and Machine Learning
Department of Computer Science
Distributed Embedded and Intelligent Systems
IT Services
Jensen Peter Gjøl
Jørgensen Kenneth Yrke
Rendal Rasmus
Security
Support
The Technical Faculty of IT and Design
Publication venue: Zenodo
Publication date: 10/09/2021
Field of study

Fixed dependency handlin

DEIS-Tools/libprlearn: 1.0.8

Author: @DEIS-Tools
AI for the People
Artificial Intelligence and Machine Learning
Department of Computer Science
Distributed Embedded and Intelligent Systems
IT Services
Jensen Peter Gjøl
Jørgensen Kenneth Yrke
Mikučionis Marius
Security
Support
The Technical Faculty of IT and Design
Publication venue: Zenodo
Publication date: 10/09/2021
Field of study

Fixed missing variable initialization leading to undefined behavior for standard non-continuous Q-learning

core

core